#include "lib.h"

char*
strcpy (char *dst0,
      const char *src0)
{
  char *s = dst0;

  while ((*dst0++ = *src0++))
    ;

  return s;
}
